(handle_single_display_prop): Add parameter
authorGerd Moellmann <gerd@gnu.org>
Thu, 22 Feb 2001 13:25:41 +0000 (13:25 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 22 Feb 2001 13:25:41 +0000 (13:25 +0000)
commit08dd317c09b18a38afa2774de9188b91920cc27e
treed942952cdd1e2b2d6cb5b6f0f51617a3b043e7ad
parent442079c74b31374255a1fe945ac1707371e84454
(handle_single_display_prop): Add parameter
DISPLAY_REPLACED_BEFORE_P.  If it is non-zero ignore display
properties which replace the display of text with something else.
(handle_display_prop): Call handle_single_display_prop with
additional argument saying if we already replaced text display
with something else.  Use AREF.
(with_echo_area_buffer_unwind_data, display_menu_bar)
(decode_mode_spec_coding): Use AREF and ASIZE.
src/xdisp.c